Wolfram Pohlers

2 Bücher

Mathematische Grundlagen der Informatik
Proof Theory